Andreas Abel University of Munich Verifying a Semantic beta-eta-Conversion Test for Martin-L¨of Type Theory Abstract Type-checking algorithms for dependent type theories often rely on the interpretation of terms in some

Source URL: sneezy.cs.nott.ac.uk

PDF Document

Source URL: www.havelund.com

• Computing
• Software engineering
• Software
• Formal methods
• Theoretical computer science
• Model checkers
• Logic in computer science
• Java Pathfinder
• Model checking
• Formal verification
• Promela
• Abstract interpretation

Symbolic Execution of Multithreaded Programs from Arbitrary Program Contexts Tom Bergan Dan Grossman

Source URL: homes.cs.washington.edu

• Abstract interpretation
• Symbolic execution
• Pointer
• Software engineering
• KeY
• Stack
• Static single assignment form
• Formal methods
• Data types
• Computing

Exploring Bhutan’s ‘Natural Democracy’: In Search of an Alternative View of Democracy Katsu Masaki* Abstract This paper seeks to make an alternative translation/ interpretation of Bhutan’s democracy, in place of

Source URL: www.bhutanstudies.org.bt

BRICS Basic Research in Computer Science BRICS RSM¨oller et al.: Predicate Abstraction for Dense Real-Time Systems Predicate Abstraction for

Source URL: www.brics.dk

• Applied mathematics
• Models of computation
• Model checking
• Fixed-point combinator
• Abstraction
• Predicate
• Abstract interpretation
• Finite-state machine
• Function
• Theoretical computer science
• Mathematics
• Lambda calculus

Scott Domains in Abstract Stone Duality Paul Taylor August 5, 2003 Abstract Identifying the need for Scott domains to be overt (open) objects in intuitionistic locale theory, we re-work Scott’s informations systems con

Source URL: www.paultaylor.eu

• Metalogic
• Symbol
• Interpretation
• Structure
• Μ operator
• Linear temporal logic
• Model theory
• Logic
• Mathematics

Eliminating Stack Overflow by Abstract Interpretation JOHN REGEHR, ALASTAIR REID, and KIRK WEBB University of Utah An important correctness criterion for software running on embedded microcontrollers is stack

Source URL: www.cs.utah.edu

• X86 instructions
• Embedded systems
• Interrupt handler
• Stack
• Microcontroller
• Interrupt flag
• Call stack
• Real-time operating system
• Interrupt
• Computer architecture
• Interrupts
• Computing

Inferring Numeric Invariants by Abstract Interpretation Antoine Min´e ´ CNRS & Ecole normale sup´

Source URL: labexcompilation.ens-lyon.fr

• Functional languages
• Abstract interpretation
• Abstraction
• Polyhedron
• J
• Software engineering
• Computer programming
• Computing

IASSW- Social Dialogue Magazine: Call for abstract Dear Colleagues,  The next edition of social dialogue will be focused on “social work without borders” What this might mean is open for your interpretation

Source URL: www.iassw-aiets.org

Metaphor, Literal, Literalism JOSEF STERN Abstract: This paper examines the place of metaphorical interpretation in the current Contextualist-Literalist controversy over the role of context in the determination of truth-

Source URL: philosophy.uchicago.edu